Tootfinder

Just updated the convex hull example (and the underlying `clipConvex()` function in https://thi.ng/geom) to support paths (shown in the examples) and complex polygons...
Demo:

Functional, polymorphic API for 2D geometry types & SVG generation

“I’ve read every study and report I could find that looked specifically at the economics of bike lanes since 1984 — 32 research articles, to be exact. The results show that making streets friendlier for bikes — and sidewalks friendlier for pedestrians — is actually good for business. The rise of “complete streets” and “road diets,” as urban planners call them, has been a huge boon to businesses in cities.”

La #FlammeOlympique arrive Š Marseille Š bord du #Belem !
(vu par télescope #unistellar depuis Marseille, Belem Š environ 10 miles de la côte, derrière le Planier)

🔊 Auf radioeins läuft...
Amanda Palmer:
🎵 In My Mind
#NowPlaying #AmandaPalmer
https://open.spotify.com/track/15PYTDAl3YJwWEgXBvARA8
https://amandapalmer.bandcamp.com/track/in-my-mind-feat-brian-viglione

Implicit automata in {\lambda}-calculi III: affine planar string-to-string functions
C\'ecilia Pradic, Ian Price
https://arxiv.org/abs/2404.03985 https…

Implicit automata in λ-calculi III: affine planar string-to-string functions
We prove a characterization of first-order string-to-string transduction via $λ$-terms typed in non-commutative affine logic that compute with Church encoding, extending the analogous known characterization of star-free languages. We show that every first-order transduction can be computed by a $λ$-term using a known Krohn-Rhodes-style decomposition lemma. The converse direction is given by compiling $λ$-terms into two-way reversible planar transducers. The soundness of this translation invo…

This https://arxiv.org/abs/2403.06769 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

Strength Lies in Differences! Towards Effective Non-collaborative Dialogues via Tailored Strategy Planning
We investigate non-collaborative dialogue agents, which are expected to engage in strategic conversations with diverse users, for securing a mutual agreement that leans favorably towards the system's objectives. This poses two main challenges for existing dialogue agents: 1) The inability to integrate user-specific characteristics into the strategic planning, and 2) The difficulty of training strategic planners that can be generalized to diverse users. To address these challenges, we propose Tr…

Simplifying explicit subtyping coercions in a polymorphic calculus with effects
Filip Koprivec, Matija Pretnar
https://arxiv.org/abs/2404.04218 https://

Simplifying explicit subtyping coercions in a polymorphic calculus with effects
Algebraic effect handlers are becoming increasingly popular way of structuring and reasoning about effectful computations, and their performance is often a concern. One of the proposed approaches towards efficient compilation is tracking effect information through explicit subtyping coercions. However, in the presence of polymorphism, these coercions are compiled to additional arguments of compiled functions, incurring significant overhead. In this paper, we present a polymorphic effectful ca…

This https://arxiv.org/abs/2201.12981 has been replaced.
link: https://scholar.google.com/scholar?q=a

G$ \mathbf{^2} $VD Planner: Efficient Motion Planning With Grid-based Generalized Voronoi Diagrams
In this paper, an efficient motion planning approach with grid-based generalized Voronoi diagrams (G$ \mathbf{^2} $VD) is newly proposed for mobile robots. Different from existing approaches, the novelty of this work is twofold: 1) a new state lattice-based path searching approach is proposed, in which the search space is reduced to a novel Voronoi corridor to further improve the search efficiency; 2) an efficient quadratic programming-based path smoothing approach is presented, wherein the cle…

New demo (and last new test case) for the upcoming https://thi.ng/geom release (and related packages): Here parsing a SVG path, converting to an SDF, deforming the SDF and sampling/converting the SDF back into SVG at multiple contour levels... all in just a few lines of code!
Demo:

Functional, polymorphic API for 2D geometry types & SVG generation

This https://arxiv.org/abs/2309.06837 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

Time-Optimal Gate-Traversing Planner for Autonomous Drone Racing
In drone racing, the time-minimum trajectory is affected by the drone's capabilities, the layout of the race track, and the configurations of the gates (e.g., their shapes and sizes). However, previous studies neglect the configuration of the gates, simply rendering drone racing a waypoint-passing task. This formulation often leads to a conservative choice of paths through the gates, as the spatial potential of the gates is not fully utilized. To address this issue, we present a time-optimal pl…